SHA256 (mpfr-3.1.0/mpfr-3.1.0.tar.gz) = VKPLEQ8G9ft+sLwcjxewRQTTKu95QP8VDicLo8tcWME=
SHA256 (mpfr-3.1.0/patch01) = 8vud3WpLLselgOWqjrJ1od/Rcg9SDhDStJEkb0UTwcU=
SHA256 (mpfr-3.1.0/patch02) = kgXjxBKt0t2ok0atUv6EUtPmhVlfG5c/b/hGUFxZZ+Y=
SHA256 (mpfr-3.1.0/patch03) = 8JaEmw9dtDL3DwlF02ZkSUPxHrjJUYX95I8n+qwv9As=
SIZE (mpfr-3.1.0/mpfr-3.1.0.tar.gz) = 1593567
SIZE (mpfr-3.1.0/patch01) = 1935
SIZE (mpfr-3.1.0/patch02) = 4502
SIZE (mpfr-3.1.0/patch03) = 8260
